Intermediate models of Prikry generic extensions
نویسندگان
چکیده
We prove that if V ⊆ V[h] is a generic extension by Prikry forcing then every transitive intermediate model M of ZFC , where V $ M ⊆ V[h] , is again a Prikry generic extension of V . Moreover the family of intermediate models is parametrised by P(ω)/finite. The result is proved by studying V-constructibility degrees of sets in V[h] using parameters in V .
منابع مشابه
Degrees of subsets of the measurable cardinal in Prikry generic extensions
We prove that in a Prikry generic extension for a measure U on κ every subset of the measurable cardinal κ in the Prikry extension is constructibly equivalent, over the ground model, to a subsequence of the Prikry sequence.
متن کاملA minimal Prikry-type forcing for singularizing a measurable cardinal
Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by Pp!q{finite. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e. there are no intermediate models properly between the ground model and th...
متن کاملAn Iteration Model violating the Singular Cardinals Hypothesis
Models of Set Theory showing exotic behaviour at singular cardinals are usually constructed via forcing. The archetypical method is Prikry-Forcing [Pr1970], which has been generalized in various ways, as for example by Gitik and Magidor [GiMa1992]. It was observed early that Prikry generic sequences can be obtained as successive critical points in an iteration of the universe V by a normal ultr...
متن کاملOn density of old sets in Prikry type extensions
Every set of ordinals of cardinality κ in a Prikry extension with a measure over κ contains an old set of arbitrary large cardinality below κ, and, actually, it can be split into countably many old sets. What about sets bigger cardinalities? Clearly, any set of ordinals in a forcing extension of a regular cardinality above the cardinality of the forcing used, contains an old set of the same car...
متن کاملIndexed Squares
We study some combinatorial principles intermediate between square and weak square. We construct models which distinguish various square principles, and show that a strengthened form of weak square holds in the Prikry model. Jensen proved that a large cardinal property slightly stronger than 1extendibility is incompatible with square; we prove this is close to optimal by showing that 1-extendib...
متن کامل